VDict mobile



Negation as failure not found. Suggestions:

negation by failure
abduction
failure
casters-up mode
AMD
intelligent backtracking
Prolog
LDL1
Mean Time To Recovery
N-Prolog